COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	advice[w81,jmc]			notes on the advice taker paper
C00005 ENDMK
C⊗;
advice[w81,jmc]			notes on the advice taker paper
airpor[w81,jmc]		the axiomatics of going to the airport
airpor.ax[w81,jmc]	axioms for going to the airport
approx[w81,jmc]		approximate and ambiguous concepts
circum.sli[w81,jmc]	slides for circumscription lecture
closed[w81,jmc]			closed world assumption, going down, etc.
commun[w81,jmc]		practical and theoretical arguments against communism
compre[w81,jmc]		comprehensive problem about binomial co-efficient
			program and its correctness proof
cs226[w81,jmc]		notes for the class
frame.ax[w81,jmc]	axioms for frames using assignment
ideas[w81,jmc]		random ideas of winter '81
konoli[w81,jmc]		comments on Konolige's paper
know[w81,jmc]		original jmc knowledge axioms and version in FOL
mathsc[w81,jmc]		proposal for modifying the mathematical sciences major
modal[w81,jmc]		denigrating modal logic
draft.ax[w81,jmc]		drafts of possibly useful axioms
nonmon[w81,jmc]		notes for lecture to logic seminar 1981 feb 2
passwo[w81,jmc]			passwords for equipment
prev.lsp[w81,jmc]	in place reverse of a list
questi[w81,jmc]			questionnaire about review of questionnaires
rawls[w81,jmc]			notes on Rawls's "A Theory of Justice"
se2[w81,jmc]		notes for SE2 business
space[w81,jmc]			ideas for Pournelle space conference
space.tex[w81,jmc]		Handout for Pournelle space conference
space.2[w81,jmc]		Comments on llw draft of transportation technology